Der Begriff „formales System" ist sehr allgemein. Es kann gar keine oder auch unendlich viele Axiome geben. Mindestens eine Relation muss vorhanden sein, doch können auch dies unendlich viele sein. Immer gilt aber: Eine wff a gehört genau dann zu den (formal) ableitbaren Formeln, wenn sich eine "umgekehrt baumförmige" Struktur von Ableitun......